elures theorem of partial d